$\forall$$A$, $B$:Realizer. $A$ $\subseteq$ $B$ $\Rightarrow$ ($\forall$${\it es}$:ES. Consistent($B$;${\it es}$) $\Rightarrow$ Consistent($A$;${\it es}$))